23 research outputs found
Exploiting -Closure in Kernelization Algorithms for Graph Problems
A graph is c-closed if every pair of vertices with at least c common
neighbors is adjacent. The c-closure of a graph G is the smallest number such
that G is c-closed. Fox et al. [ICALP '18] defined c-closure and investigated
it in the context of clique enumeration. We show that c-closure can be applied
in kernelization algorithms for several classic graph problems. We show that
Dominating Set admits a kernel of size k^O(c), that Induced Matching admits a
kernel with O(c^7*k^8) vertices, and that Irredundant Set admits a kernel with
O(c^(5/2)*k^3) vertices. Our kernelization exploits the fact that c-closed
graphs have polynomially-bounded Ramsey numbers, as we show
Induced Matching below Guarantees: Average Paves the Way for Fixed-Parameter Tractability
In this work, we study the Induced Matching problem: Given an undirected
graph and an integer , is there an induced matching of size at
least ? An edge subset is an induced matching in if is a
matching such that there is no edge between two distinct edges of . Our work
looks into the parameterized complexity of Induced Matching with respect to
"below guarantee" parameterizations. We consider the parameterization for an upper bound on the size of any induced matching. For instance,
any induced matching is of size at most where is the number of
vertices, which gives us a parameter . In fact, there is a
straightforward -time algorithm for Induced
Matching [Moser and Thilikos, J. Discrete Algorithms]. Motivated by this, we
ask: Is Induced Matching FPT for a parameter smaller than ? In
search for such parameters, we consider and ,
where is the maximum matching size and is the maximum
independent set size of . We find that Induced Matching is presumably not
FPT when parameterized by or . In contrast to
these intractability results, we find that taking the average of the two helps
-- our main result is a branching algorithm that solves Induced Matching in
time. Our algorithm makes use
of the Gallai-Edmonds decomposition to find a structure to branch on
Correlating Theory and Practice in Finding Clubs and Plexes
For solving NP-hard problems there is often a huge gap between theoretical guarantees and observed running times on real-world instances. As a first step towards tackling this issue, we propose an approach to quantify the correlation between theoretical and observed running times.
We use two NP-hard problems related to finding large "cliquish" subgraphs in a given graph as demonstration of this measure. More precisely, we focus on finding maximum s-clubs and s-plexes, i. e., graphs of diameter s and graphs where each vertex is adjacent to all but s vertices. Preprocessing based on Turing kernelization is a standard tool to tackle these problems, especially on sparse graphs. We provide a parameterized analysis for the Turing kernelization and demonstrate their usefulness in practice. Moreover, we demonstrate that our measure indeed captures the correlation between these new theoretical and the observed running times
Parameterized Complexity of Geodetic Set
A vertex set S of a graph G is geodetic if every vertex of G lies on a shortest path between two vertices in S. Given a graph G and k ? ?, the NP-hard Geodetic Set problem asks whether there is a geodetic set of size at most k. Complementing various works on Geodetic Set restricted to special graph classes, we initiate a parameterized complexity study of Geodetic Set and show, on the negative side, that Geodetic Set is W[1]-hard when parameterized by feedback vertex number, path-width, and solution size, combined. On the positive side, we develop fixed-parameter algorithms with respect to the feedback edge number, the tree-depth, and the modular-width of the input graph
Complexity of Combinatorial Matrix Completion With Diameter Constraints
We thoroughly study a novel and still basic combinatorial matrix completion
problem: Given a binary incomplete matrix, fill in the missing entries so that
the resulting matrix has a specified maximum diameter (that is, upper-bounding
the maximum Hamming distance between any two rows of the completed matrix) as
well as a specified minimum Hamming distance between any two of the matrix
rows. This scenario is closely related to consensus string problems as well as
to recently studied clustering problems on incomplete data.
We obtain an almost complete complexity dichotomy between polynomial-time
solvable and NP-hard cases in terms of the minimum distance lower bound and the
number of missing entries per row of the incomplete matrix. Further, we develop
polynomial-time algorithms for maximum diameter three, which are based on
Deza's theorem from extremal set theory. On the negative side we prove
NP-hardness for diameter at least four. For the parameter number of missing
entries per row, we show polynomial-time solvability when there is only one
missing entry and NP-hardness when there can be at least two missing entries.
In general, our algorithms heavily rely on Deza's theorem and the
correspondingly identified sunflower structures pave the way towards solutions
based on computing graph factors and solving 2-SAT instances
Determinantal Sieving
We introduce determinantal sieving, a new, remarkably powerful tool in the
toolbox of algebraic FPT algorithms. Given a polynomial on a set of
variables and a linear matroid of
rank , both over a field of characteristic 2, in
evaluations we can sieve for those terms in the monomial expansion of which
are multilinear and whose support is a basis for . Alternatively, using
evaluations of we can sieve for those monomials whose odd support
spans . Applying this framework, we improve on a range of algebraic FPT
algorithms, such as:
1. Solving -Matroid Intersection in time and -Matroid
Parity in time , improving on (Brand and Pratt,
ICALP 2021)
2. -Cycle, Colourful -Path, Colourful -Linkage in undirected
graphs, and the more general Rank -Linkage problem, all in
time, improving on respectively (Fomin et al., SODA 2023)
3. Many instances of the Diverse X paradigm, finding a collection of
solutions to a problem with a minimum mutual distance of in time
, improving solutions for -Distinct Branchings from time
to (Bang-Jensen et al., ESA 2021), and for Diverse
Perfect Matchings from to (Fomin et al.,
STACS 2021)
All matroids are assumed to be represented over a field of characteristic 2.
Over general fields, we achieve similar results at the cost of using
exponential space by working over the exterior algebra. For a class of
arithmetic circuits we call strongly monotone, this is even achieved without
any loss of running time. However, the odd support sieving result appears to be
specific to working over characteristic 2
Parameterized Algorithms for Matrix Completion with Radius Constraints
Considering matrices with missing entries, we study NP-hard matrix completion problems where the resulting completed matrix should have limited (local) radius. In the pure radius version, this means that the goal is to fill in the entries such that there exists a "center string" which has Hamming distance to all matrix rows as small as possible. In stringology, this problem is also known as Closest String with Wildcards. In the local radius version, the requested center string must be one of the rows of the completed matrix.
Hermelin and Rozenberg [CPM 2014, TCS 2016] performed a parameterized complexity analysis for Closest String with Wildcards. We answer one of their open questions, fix a bug concerning a fixed-parameter tractability result in their work, and improve some running time upper bounds. For the local radius case, we reveal a computational complexity dichotomy. In general, our results indicate that, although being NP-hard as well, this variant often allows for faster (fixed-parameter) algorithms